Deduction Automatique et Systemes Transformationnels

RESUME : Les syst~mes transformatiounels utilisent des processus d6duetifs d'une approche diff6rente des syst~mes utilis6s en intelligence artificielle. A travers une comparaison du langage Prolog et du lan-gage Sygmart, il est montr~ comment r~aliser dans les syst~mes transformationnels des applications utili-sant des raisonnements et des bases de connaissances. I. INTRODUCTION : Le traitement algorithmique d'un texte sur-0~d~nateur suppose une approche formelle, une projection du texte dans cette approche et enfin un traitement du texte ainsi projet~. L'approche la plus courante ~ l'heure aetuelle en intelligence ar-tificielle est celle de la d~monstration automatique dans un syst~me logique. Cette approche est proc6du-rale, c'est-g-dire qu'elle traite avant tout la forme pr6dicative du langage. Du point de rue formel les objets manipul~s sont r6duits ~ des 616ments simples: atomes ou assemblage d'atomes suivant des r~gles de formation de pr~dicat. L'approche d6finie dans un syst~me transformationnel est avant tout orient~e objet. Elle se caract6rise par la d~finition d'un univers de traitement et d'un processus de manipulation des objets de cet univers. Les probl~mes clas-siques de d~duction ou d'inf~rence se transposent naturellement dans ce type de manipulation. Ainsi l'approche structurel~e du traitement des langues naturelles apporte une vision globale : elle pcrmet une analyse et une exploitation de cette analyse. Elle peut 6galement servir d'outil ~ la formalisa-tion de la repr6sentation des connaissances. Le but de cet article est de montrer ~ travers quelques exemples simples la transposition transformationnelle des principales fonctions d~ductives des syst~mes bases sur l'inf6rence logique. Les exemples utilis~s sont ceux d6finis dans PROLOG [ 3 ] pour l'approche logique et sont traduits dans SYGMART ~ 2 ] pour l'approche transformationnelle.